Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
241	Objective ML: An effective object-oriented extension to ML Didier Remy and Jer Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Type theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Objective-C Closure Software engineering Computing Programming language theory
242	Information and Computation 155, [removed]Article ID inco[removed], available online at http://www.idealibrary.com Semi-Explicit First-Class Polymorphism for ML Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computing Type inference Type system ML Parametric polymorphism Hindley–Milner System F Polymorphism Type safety Type theory Software engineering Programming language theory
243	Labeled and optional arguments for Objective Caml∗ Jacques Garrigue† Abstract We added labeled and optional arguments to the Objective Caml language, combining currying and commutation. Contrary to a previous attempt Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Procedural programming languages Subroutines Functional languages Models of computation ML Named parameter Caml Lambda calculus ALGOL 68 Software engineering Computing Programming language theory
244	Language support for efficient computation over encrypted data Meelap Shah, Emily Stark, Raluca Ada Popa, and Nickolai Zeldovich MIT CSAIL 1 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-09-26 19:21:18 Homomorphic encryption Applied mathematics Deterministic encryption Paillier cryptosystem Public-key cryptography Cipher Encryption Authenticated encryption Proxy re-encryption Cryptography Cyberwarfare Security
245	1 CHP and CHPsim: A Language and Simulator for Fine-Grain Distributed Computation Alain J. Martin & Christopher D. Moore Department of Computer Science Add to Reading List Source URL: www.async.caltech.edu Language: English - Date: 2012-12-07 19:26:41 Theoretical computer science Scattering parameters Canonical form FO Differential equation Function Algorithm Promela Mathematics Mathematical logic Algebraic logic
246	Language support for efficient computation over encrypted data Meelap Shah, Emily Stark, Raluca Ada Popa, and Nickolai Zeldovich MIT CSAIL 1 Add to Reading List Source URL: people.csail.mit.edu Language: English Homomorphic encryption Applied mathematics Deterministic encryption Paillier cryptosystem Public-key cryptography Cipher Encryption Authenticated encryption Proxy re-encryption Cryptography Cyberwarfare Security
247	Author manuscript, published in "5th Language and Technology Conference, Poznan : Poland (2011)" Crowdsourcing for Language Resource Development: Critical Analysis of Amazon Mechanical Turk Overpowering Use Gilles Adda1 Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2012-06-29 05:33:53 Computing Human-based computation Social information processing Crowdsourcing Speech recognition Amazon Mechanical Turk Turk Natural language processing Word-sense disambiguation Linguistics Science Computational linguistics
248	TSI 2014.booklet.dr4.indd Add to Reading List Source URL: www.inclusion.com Language: English - Date: 2014-03-13 14:19:50 PATH Ryerson University Toronto Institute for Logic Language and Computation Ontario Academia Great Lakes Venues of the 2015 Pan American Games Association of Commonwealth Universities Coalition of Urban and Metropolitan Universities
249	Denotational Semantics of the XML-λ Query Denotational Semantics of ?the XML-λ Query Language ? Language Pavel Loupal1 and Karel Richta2 Pavel Loupal1 and Karel Richta2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-03 05:17:25 Formal languages Models of computation Model theory Combinatorics on words Denotational semantics Lambda calculus String Structure Symbol Computing Mathematics Theoretical computer science
250	Appears in "Parallel Problem Solving from Nature III", Eds: Y. Davidor, H-P. Schwefel, R. Manner, Springer-Verlag LNCS 866, pp628-637, [removed]RPL2: A Language and Parallel Framework for Evolutionary Computing Patrick D. Add to Reading List Source URL: stochasticsolutions.com Language: English - Date: 2009-09-08 11:19:31 Applied mathematics Mathematical optimization Mathematics Science Search algorithms Evolutionary computation Genetic programming Machine learning Genetic representation Evolutionary algorithms Genetic algorithms Cybernetics

UPDATE